topos of types

См. также в других словарях:

• mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… …   Universalium

• Théorie des catégories — La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique théorique et en… …   Wikipédia en Français

• 1985 Mexico City earthquake — Mexico city Collapsed General Hospital …   Wikipedia

• Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… …   Wikipedia

• Hypothypose — Hypotypose Lawrence Alma Tadema, La mort d Hippolyte, 1860. L hypotypose (ὑποτύπωσις[note 1]) (prononcé : [i po ti pô z ]) est …   Wikipédia en Français

• Hypotypose — Lawrence Alma Tadema, La mort d Hippolyte, 1860. L hypotypose [ …   Wikipédia en Français

• Digression — « Mais si vous m interrompez, lecteur, et si je m interromps moi même à tout coup, que deviendront les amours de Jacques ? Croyez moi, laissons là le poète... L hôte et l hôtesse s éloignèrent... Non, non, l histoire du poète de… …   Wikipédia en Français

• Emprunt (langue) — Emprunt lexical En linguistique, et plus particulièrement en étymologie, lexicologie et linguistique comparée, on nomme emprunt lexical (ou, plus souvent, emprunt) le processus consistant, pour une langue, à introduire dans son lexique un terme… …   Wikipédia en Français

• Emprunt Lexical — En linguistique, et plus particulièrement en étymologie, lexicologie et linguistique comparée, on nomme emprunt lexical (ou, plus souvent, emprunt) le processus consistant, pour une langue, à introduire dans son lexique un terme venu d’une autre… …   Wikipédia en Français

• Emprunts lexicaux — Emprunt lexical En linguistique, et plus particulièrement en étymologie, lexicologie et linguistique comparée, on nomme emprunt lexical (ou, plus souvent, emprunt) le processus consistant, pour une langue, à introduire dans son lexique un terme… …   Wikipédia en Français

• Fremdwörter — Emprunt lexical En linguistique, et plus particulièrement en étymologie, lexicologie et linguistique comparée, on nomme emprunt lexical (ou, plus souvent, emprunt) le processus consistant, pour une langue, à introduire dans son lexique un terme… …   Wikipédia en Français